More on full reflection below אω
نویسندگان
چکیده
Jech and Shelah [2] studied full reflection below אω, and produced a model in which the extent of full reflection is maximal in a certain sense. We produce a model in which full reflection is maximised in a different direction.
منابع مشابه
Consistency Strength of ¬
We give modest upper bounds for consistency strengths for two well-studied combinatorial principles. These bounds range at the level of subcompact cardinals, which is significantly below a κ+-supercompact cardinal. All previously known upper bounds on these principles ranged at the level of some degree of supercompactness. We show that using any of the standard modified Prikry forcings it is po...
متن کاملSome Consequences of Reflection on the Approachability Ideal
We study the approachability ideal I[κ+] in the context of large cardinals and properties of the regular cardinals below a singular κ. As a guiding example consider the approachability ideal I[אω+1] assuming that אω is a strong limit. In this case we obtain that club many points in אω+1 of cofinality אn for some n > 1 are approachable assuming the joint reflection of countable families of stati...
متن کاملThe Tree Property Below
An important remark is that in the model for the main theorem אω is not strong limit, in particular 21 = אω+2. In doing so we avoid a difficult question of Woodin’s which asks whether it is consistent to have the failure of both SCH and weak square at אω. The main theorem of this paper should be compared with a theorem in [9] where a similar result is obtained for successive failures of weak sq...
متن کاملViolating the Singular Cardinals Hypothesis Without
We extend a transitive model V of ZFC +GCH cardinal preservingly to a model N of ZF + “GCH holds below אω” + “there is a surjection from the power set of אω onto λ” where λ is an arbitrarily high fixed cardinal in V . The construction can roughly be described as follows: add אn+1 many Cohen subsets of אn+1 for every n < ω , and adjoin λ many subsets of אω which are unions of ω-sequences of thos...
متن کاملThe Eightfold Way
Three central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing that any of their eight Boolean combinations can be forced to hold at κ, assuming that κ = κ and there is a weakly compact cardinal above κ. If in addition κ is supercompact then we can force κ to be א...
متن کامل